1. Collected works
پدیدآورنده : Kurt Godel
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Logic, symbolic and mathematical
2. Collected works
پدیدآورنده : Godel, Kurt Friedrich, 6091-8791
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Collected works ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
3. Collected works, Works. English & German. 5891
پدیدآورنده : Godel, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
1986
4. Collegium Logicum.
پدیدآورنده : Kurt Gödel Society.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Mathematics.
5. Collegium Logicum.
پدیدآورنده : Kurt-Gödel-Gesellschaft
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
6. Obras completas
پدیدآورنده : Kurt Gödel; introducción y traducción de Jesús Mosterín.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Lògica matemàtica.
رده :
QA9
.
65
K878
2006
7. On formally undecidable propositions of Principia mathematica and related systems
پدیدآورنده : Kurt Godel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Geodel's theorem
8. On formally undecidable propositions of Principia mathematica and related systems
پدیدآورنده : Godel, Kurt.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Godel's theorem
رده :
QA
248
.
G573
1992
9. On formally undecidable propositions of principia mathematica and related systems
پدیدآورنده : Godel, Kurt Friedrich, 6091-8791
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
G63U213
10. Scritti scelti :
پدیدآورنده : Kurt Gödel ; a cura di Gabriele Lolli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logica matematica.
11. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
12. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
13. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
14. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
15. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
3
16. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : /by Kurt Godel.,گودل,Godel
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
17. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics-Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1966
18. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1940
19. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
20. ناتماميت
پدیدآورنده : / ربکا گلدستين,عنوان اصلي: Incompleteness : the proof and paradox of Kurt Godel, c2005,گلدستاين,Goldstein
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع : گودل، کورت، ۱۹۰۶ - ۱۹۷۸م,منطق‌دان‌ها,Logicians,منطق‌دان‌ها,Logicians,گودل، قضيه,-- سرگذشتنامه,-- Biography,-- سرگذشتنامه,-- Biography,-- ایالات متحده,-- United States,-- اتریش,-- Austria
رده :
۵۱۰
/
۹۲
گ
۷۴۹
/
نگ
